sat problem computer science